See denotational semantics on Wiktionary
{ "head_templates": [ { "args": { "1": "-" }, "expansion": "denotational semantics (uncountable)", "name": "en-noun" } ], "lang": "English", "lang_code": "en", "pos": "noun", "senses": [ { "categories": [ { "kind": "other", "name": "English entries with incorrect language header", "parents": [ "Entries with incorrect language header", "Entry maintenance" ], "source": "w" }, { "kind": "other", "name": "Entries with translation boxes", "parents": [], "source": "w" }, { "kind": "other", "name": "Pages with 1 entry", "parents": [], "source": "w" }, { "kind": "other", "name": "Pages with entries", "parents": [], "source": "w" }, { "kind": "other", "name": "Terms with Icelandic translations", "parents": [], "source": "w" }, { "kind": "other", "name": "Terms with Romanian translations", "parents": [], "source": "w" }, { "kind": "other", "name": "Terms with Serbo-Croatian translations", "parents": [], "source": "w" }, { "kind": "topical", "langcode": "en", "name": "Computer science", "orig": "en:Computer science", "parents": [ "Computing", "Sciences", "Technology", "All topics", "Fundamental" ], "source": "w" } ], "glosses": [ "An approach to formalizing the meanings of programming languages by constructing mathematical objects called denotations which describe the meanings of expressions from the languages." ], "id": "en-denotational_semantics-en-noun-6hIzxgv9", "links": [ [ "computer science", "computer science" ], [ "meaning", "meaning" ], [ "programming language", "programming language" ], [ "denotation", "denotation" ] ], "raw_glosses": [ "(computer science) An approach to formalizing the meanings of programming languages by constructing mathematical objects called denotations which describe the meanings of expressions from the languages." ], "related": [ { "word": "axiomatic semantics" }, { "word": "operational semantics" } ], "tags": [ "uncountable" ], "topics": [ "computer", "computing", "engineering", "mathematics", "natural-sciences", "physical-sciences", "science", "sciences" ], "translations": [ { "code": "is", "lang": "Icelandic", "sense": "an approach to formalizing the meanings of programming languages", "tags": [ "feminine" ], "word": "stærðfræðileg merkingarfræði" }, { "code": "ro", "lang": "Romanian", "sense": "an approach to formalizing the meanings of programming languages", "tags": [ "feminine" ], "word": "semantică denotațională" }, { "code": "sh", "lang": "Serbo-Croatian", "sense": "an approach to formalizing the meanings of programming languages", "tags": [ "feminine" ], "word": "denotacijska semantika" } ], "wikipedia": [ "denotational semantics" ] } ], "word": "denotational semantics" }
{ "head_templates": [ { "args": { "1": "-" }, "expansion": "denotational semantics (uncountable)", "name": "en-noun" } ], "lang": "English", "lang_code": "en", "pos": "noun", "related": [ { "word": "axiomatic semantics" }, { "word": "operational semantics" } ], "senses": [ { "categories": [ "English entries with incorrect language header", "English lemmas", "English multiword terms", "English nouns", "English uncountable nouns", "Entries with translation boxes", "Pages with 1 entry", "Pages with entries", "Terms with Icelandic translations", "Terms with Romanian translations", "Terms with Serbo-Croatian translations", "en:Computer science" ], "glosses": [ "An approach to formalizing the meanings of programming languages by constructing mathematical objects called denotations which describe the meanings of expressions from the languages." ], "links": [ [ "computer science", "computer science" ], [ "meaning", "meaning" ], [ "programming language", "programming language" ], [ "denotation", "denotation" ] ], "raw_glosses": [ "(computer science) An approach to formalizing the meanings of programming languages by constructing mathematical objects called denotations which describe the meanings of expressions from the languages." ], "tags": [ "uncountable" ], "topics": [ "computer", "computing", "engineering", "mathematics", "natural-sciences", "physical-sciences", "science", "sciences" ], "wikipedia": [ "denotational semantics" ] } ], "translations": [ { "code": "is", "lang": "Icelandic", "sense": "an approach to formalizing the meanings of programming languages", "tags": [ "feminine" ], "word": "stærðfræðileg merkingarfræði" }, { "code": "ro", "lang": "Romanian", "sense": "an approach to formalizing the meanings of programming languages", "tags": [ "feminine" ], "word": "semantică denotațională" }, { "code": "sh", "lang": "Serbo-Croatian", "sense": "an approach to formalizing the meanings of programming languages", "tags": [ "feminine" ], "word": "denotacijska semantika" } ], "word": "denotational semantics" }
Download raw JSONL data for denotational semantics meaning in All languages combined (1.9kB)
This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2024-12-21 from the enwiktionary dump dated 2024-12-04 using wiktextract (d8cb2f3 and 4e554ae). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.
If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.